- независимость системы аксиом
- незалежнасць сістэмы аксіём
Русско-белорусский математический словарь. 2013.
независимость системы аксиом
Смотреть что такое "независимость системы аксиом" в других словарях:
Независимость системы аксиом — У этого термина существуют и другие значения, см. Независимость (значения). Для улучшения этой статьи желательно?: Викифицировать статью. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Независимость… … Википедия
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — свойство системы аксиом данной аксиоматич. теории, состоящее в том, что каждая аксиома является независимой, т. е. не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, наз.… … Математическая энциклопедия
Независимость (значения) — Независимость самостоятельность, отсутствие подчинённости, суверенитет. Независимость в математике: Линейная независимость свойство элементов линейного пространства. Независимость системы аксиом в математической логике ― свойство… … Википедия
НЕЗАВИСИМОСТЬ — в логике и математике, невыводимость (недоказуемость) предложения некоторой теории (или выражающей его формулы соответствующего исчисления) и его отрицания из данной совокупности предложений (конъюнкции формул), напр. из данной системы… … Философская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Независимость аксиом теории — Содержание 1 Определение и разновидности 2 Разновидности дедуктивных теорий 2.1 Задание ак … Википедия
Независимость — I Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы … Большая советская энциклопедия
независимость — (в логике и математике) невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других… … Словарь терминов логики
ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… … Математическая энциклопедия
ОСНОВАНИЯ ГЕОМЕТРИИ — раздел геометрии, в к ром исследуются основные понятия геометрии, соотношения между ними и связанные с ними вопросы. Важная роль основных понятий и соотношений между ними, на базе к рых строятся определения фигур и доказываются геометрич.… … Математическая энциклопедия
Специальная теория относительности — Почтовая марка с формулой E = mc2, посвящённая Альберту Эйнштейну, одному из создателей СТО. Специальная теор … Википедия
